Skip to main content

Full text of "Convergence of the self-dual Ginzburg-Landau gradient flow"

See other formats


Convergence of the self-dual Ginzburg- Landau gradient flow 



Sophia Demoulini 

Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CBS OWB, England 

email:sd290@cam. ac. uk 

Abstract 

We prove convergence of the gradient flow of the Ginzburg-Landau energy functional on 
a Riemann surface in the self-dual Bogomolny case, in Coulomb gauge. The proof is direct 
and makes use of the associated nonlinear first order differential operators (the Bogomolny 
operators). One aim is to illustrate that the Bogomolny structure, which is known to be of 
great utility in the static elliptic case, can also be used effectively in evolution problems. We 
also identify the minimizers and minimum value of the energy when the Bogomolny bound is 
not achieved (below the Bradlow limit). 

MSG classification: 58J35, 35Q56 

1 Introduction and statement of results 

We consider the self-dual Ginzburg-Landau, or abelian Higgs, energy defined over a two dimensional 
Riemann surface S: 

V(A, = - / I^A^ A *Dx^ + F*F+-{l- |$|^))^ * 1 

Here the Higgs field, is a section of a complex line bundle L — )■ S with fixed metric h, and 
F>A = (-Ci, D2) = V — iA is the covariant derivative operator defining an connection on L, with 
curvature 2-form —iF. We will assume that the degree N = deg L is a non-negative integer (but 
everything in this article has an analogous version in the negative case). It is known from [2] that 
for |S| > 4ttN the minimum value of V is ttN and is attained on the set of self-dual vortices, which 
are solutions of the Bogomolny equations (11. 5p ; these form a system of first order partial differential 
equations, solutions of which are minimizers of V when they exist. The presence of such a system of 
first order equations is a special feature of the functional V which is related to self-duality ([3 [2]). 
The main aim of this article is to show how it is possible to prove convergence of the corresponding 
gradient fiow quite simply by making use of the Bogomolny (or self-dual) structure in (jl.4p - (jl.5p 



it is also proved that for | S | < AttN the minimum value of V is ttN + where I = 27riV — '-^ , 
and this is achieved by taking <I> = and A to be a constant curvature connection. 

A similar proof of convergence for the SU{2) Yang-Mills-Higgs functional on was carried 
out in [7]; this is closely related to the case |S| > 4ttN in this paper. The crucial structural 
features exploited there for Yang-Mills-Higgs also hold for the Ginzburg-Landau flow in the case 
|S| > AttN: by (j3.18p the first order Bogomolny operators (j3.16p - (j3.17p converge to zero, while 
()3.30p then implies the convergence of (A, $) as t — t- -|-c«. The case |S| < iirN is different: indeed 
this latter inequality is an obstruction to the existence of solutions to the Bogomolny equations 



([2]), and so the first stage of the argument just outhned necessarily fails. We give, however, an 
alternative set of quantities in (I3.45p . whose large time behaviour can be analyzed, and which serve 
as an effective alternative to the Bogomolny operators in this case. Compared to the adiabatic 
approximation method in [4j, where convergence of the Ginzburg-Landau flow was proved for the 
case S = M^, the proof here is certainly more efficient although it makes less contact with the 
physics of vortices. It is also possible to prove convergence by the very general method based on 
the Lojasiewicz inequality in as has been done in [6j. In comparison with these previous results, 
the present method does provide the additional information that convergence is at an exponential 
rate. Furthermore in view of the importance of the Bogomolny self-dual structure in the elliptic 
case, it seems worthwhile to illustrate its utility in the parabolic context, as was done also in [3] 
for vortex dynamics in a conservative (Hamiltonian) context. 

Introducing conformal coordinates {x^}^^^, in which the metric takes the form 

g = gjkdxHx^ = e^P{{dx^f + {dx^f) 
with associated area form d^g = e^^dx^ A dx'^, the energy functional V is given by 

V(A,cI>) = i|^(|DA^|V2p + B'- + \{l-\<^\^f) dt^g. (1.1) 

If we fix a smooth connection V on L then Da is determined uniquely by a real 1-forni 

A = Aidx^ + A2dx'^ G n\^) 

where : S — )• R, according to 

I?A:=V-iA. (1.2) 

The curvature, or magnetic field B, of a connection Da = Djdx^ is determined by DjDj^^dx^ A 
dx^ = —iF^ = —iB^dfig. Its integral is a topological invariant of L: 

I Bdjjg = 2t:N (1.3) 

with = deg L. We will choose V to have constant curvature 6; this value is then fixed topologically 
as 6 = 27rA^/|S|, where |S| = dfig is the area of S. It follows that 

B = b + *dA = b + e-^P{diA2 - ^2^1). 
1.1 The Bogomolny equations 

A crucial property of the energy functional (jl.ip is that (in appropriate functions spaces in which 
e.g. integration by parts is valid) it admits a Bogomolny decomposition into a sum of squares of 
first order terms: 

V(A,$) = ^£(4|9A$pe-2^ + (S-l(l-|$|2))2) dt,g + ttN (1.4) 



where as above N = degL and 

dA<^> = ^iDi+iD2)'^. 



If the following first order equations, called the Bogomolny equations, 



Sa* = 0, 

have solutions in a given class, they will automatically minimize V within that class (this theory - 
and conditions under which solutions exist - is developed for the plane and for surfaces in [8lll01[2]). 

Our main theorem concerns the large time behaviour of global weak (Sobolev) solutions to 
1.61 in Coulomb gauge (the existence and uniqueness of which is shown in section [2]). We show 
that as t — 7- oo this solution converges exponentially fast to a minimizer of (jl.ip a solution of the 
Bogomolny equations when |S| > 4ttN . We make the assumption of small (close to equilibrium) 
initial energy. 

We will make use of the Bogomolny equations to derive the asymptotic convergence of weak 
solutions to the gradient flow equations in section [3l In fact, the convergence of such solutions to 
minimizers of the energy provides an independent proof of the existence of minimizers and solutions 
to the Bogomolny equations in the case when |S| > AttN. 



1.2 The time-dependent equations and statement of the main theorem 

Associated with the energy functional (jl.ip are the Ginzburg-Landau gradient flow equations in 
the variables (A, = (^o,A,^>) = (^0,^1,^2,^) on [0, 00) x S: 

(|,A)(A,cI>) = -V(A,cI>) 

and equivalently, 



dAi 


dAo 


dB 


dt 


dx^ 






dAo 


dB 
dx^ 


dt 


dx"^ 




- Aa$- 



:i.6) 



where the covariant Laplacian Aa is deflned as 

This is the fully gauge invariant version of the Ginzburg-Landau gradient flow. The Higgs field ^, 
now depending on time t > , is a section of a complex line bundle L = [0, 00) x L — t- [0, 00) x S 
on which there is a connection 

A = (^0,^1,^2) = (^o,A) 

with associated covariant derivative D = {Dq, Di, D2) = {Dq,Da), where Dq = §1 — iA^ is the 
time component and Dx = {Di,D2) is the spatial component as in (jl.2p with Ai now depending 
on time t > as well as x G S. The dependent variables are thus the Higgs field $ and a real 
1-form AQdt-\- Ajdx^ on [0, c«) x S. The system is invariant under the infinite dimensional group of 
gauge transformations: if xi^i^) is a smooth function then [Aq, Ai, A2,^) is a smooth solution of 
(jl.6p if and only if {Aq + dtX-, Ai + dix, A2 + d2Xi e*^<I>) is a smooth solution of (|1.6p . This means it 



is possible to place further conditions on the solution, and this is necessary to obtain uniqueness. 
We impose the Coulomb gauge condition : 

div A = e-^P{diAi + ^2^2) = ; (1.7) 

a solution, or set of initial data, is said to be in Coulomb gauge when this condition holds for all 
relevant t. In addition, we will require that 

Aodfig = (1.8) 

at all relevant t: this may be achieved by applying to the solution {Aq, Ai, A2, $) at each (t, x) the 
gauge transformation x{t) = fT,^odfJ.g- 

Initial data and Coulomb gauge: We specify (A, <1>) = {Ai,A2,^) at t = which in Coulomb 
gauge also determines Aq initially. To see this, we eliminate Aq from the full (gauge invariant) 
equations (11. 6p by taking the divergence in the equation for A under the condition (11. 7p . This 
leads to the equation for Aq in Coulomb gauge, 

- AAq = div Da<^) . (1.9) 

Lemma 1.1 For each fixed t > there is a smooth function (A, <I>) 1— )• a(A, <I>) from H^{L(B^^) — )■ 
H^'*^, for any 1 < q < 2, which is the unique solution of (\1.9h satisfying (II. Sp . 



Proof Because ^ e then for all p < 00, <I> G LP, Da^ G L"^ and so div Da^) G H~^''^ for 
all g < 2. It follows that (|1.9p has a unique solution = a(A, <I>) verifying (jl.Sp as described in 
the lemma. □ 

Remark 1.2 Furthermore, if ^ satisfies (jl.6p then fort a.e. —AAq = div {i^, Da^) = {i^,DQ^) , 
and so by standard elliptic theory, 

\\Ao\\h2,p < Cs\\{i^,DQ^)\\LP , 

where finiteness of the right hand side will be justified in section Wl\ By Sobolev imbeddings, here 
applied for 1 < p < 2 at each time t > 0, 

WAqWh^.p < CiW^W 2p ||Do^||l2 and so \\dAQ\\i2 < C2\\^\\Hi Wo^Wl^- (1-10) 

L-'-P ^ 

As a particular consequence, ^0 is initially determined through the initial data for (A,<I>). In 
addition, the estimates p.lUp will be used below to derive estimates for Dq^. 

Explicitly applying the gauge conditions (jl.Tp and (jl.Sp and substituting Aq = a(A, $), the 
system (jl.6p becomes the following nonlocal parabolic system: 

A = AA + da + {i^, Da^) 

$ = A$ - 2ie~^Pj2^j^j'^ - e"^''| A|2$ + + ^(1 - |$|2)^. (l'^^) 
j 

with initial data specified for (A,$). We discuss existence of this system in section [2] and we will 
need the following spaces. 



Function spaces: We will work with spaces of functions H'^'P(T,) which may be defined either 

(i) by using a partition of unity to reduce to the Euclidean case (the standard spaces H^'P{M?)), or 

(ii) by appealing to the spectral theory for —A to define a functional calculus and then introducing 
the norm as 

||/||H^,P = ||(l-A)f/||iP. 

Let fj be an orthonormal basis of eigenfunctions, —^fj = ^jfj with < Ai < A2 < • • • , then for 
p = 2 an equivalent norm on H'^ = H'^'^ is 

11/111,.= ^(1 + A,r|c,f, where / = ^c,/,. (1.12) 

j 

These definitions extend to sections of vector bundles L, in which case we write H'^{L) for the 
corresponding spaces defined with respect to the connection V and its corresponding Laplacian 
g-2p^Y2 _|_ y2-j. £qj. 5 = X an equivalent norm is 

|2 



\\nHiiL) = jj\'^\' + \^mdfig. (1.13) 

In the above integral the inner products are the standard ones induced from h and g. The definitions 
also extend to 1-forms using the Hodge Laplacian A = —{d5 + 5d), (with the sign chosen so that 
it is non-positive). In conformal coordinates: 

{AA)i = diie-^PidiAi + d2A2)) - eijd,ie-^PidiA2 - Qa^i)) 
= -eijdjB 

when the Coulomb gauge (jl.7p holds. The corresponding norms are written H''^{Q^) where is 
the space of one- forms on S with coefficients in . 

The main theorem 

For data we derive existence of a solution also in in the following section in the Coulomb 
gauge. The main result concerns the time asymptotic behaviour of these solutions which are shown 
to be exponentially converging to an energy minimizer. The minimum energy depends on whether 
the size of E is large enough to support the existence of vortices (O [TO]): 



■nN if S > A-kN 



^^^(4.iV |E|)^ .f^<4.Ar. 

85] 



Let 

Vo = V(A(0),$(0)) 
be the initial energy. The following is the main theorem 

Theorem 1.3 (Main Theorem) Given finite energy initial data (A(0),$(0)) G H^{Q}®L) sat- 
isfying the Coulomb gauge condition (jl.7p and such that ep with 

< Vo — Vmin = eo 

is sufficiently small there exists a unique global solution (^0, A,^>) with Aq € C([0, 00)); i?i'P(S)) 
for any p < 2, and (A, ^>) G C([0, 00); ^^(f]^ L)) of ([II]), satisfying ([LTD and ([TS]) with the 
following large time behaviour: 



> iirN then {A, ^ {Aoo,^oo) in {n^e L) where (Aoc^oo) is a solution of the 
minimum energy static (Bogomolny) equations and where <I>oo has precisely N zeros (vortices) 
on E. Also ^o(^) ~^ strongly in L"? for all q < oo. The minimum value of the energy in 
H^{L is attained and is ttN. 

i/|E| < A-kN then{A,^) ^ {A^,Q) whereD = V-iA oc is a constant curvature connection 
at which the minimum value of the energy in H^{L © O-*^) is achieved and equals 

V(A„.0)= min V-^A' + a^i^. 

m{L(Bn^) 8|S| 



Convergence is at an exponential rate, namely, 3 c,6>0 depending only the initial data such that 

||(A,$)-(Aoo,$oo)||l2 <ce~^*, respectively, || (A, $)- (Aoo, 0)11^2 < c e-"^*. (1.14) 

Global existence for (jl.6p is established in the following section, making use of standard (semi- 
group) techniques (theorem 12.10 . The proof of asymptotic convergence, which is the main content 
of theorem 11.31 is then given in section [3l 

Remark 1.4 Convergence in stronger norms for s < 1 can be deduced by interpolation between 
LP' and from (jl.l4p . using convergence in ("low" norm) and boundedness in (or "high" 
norm) guaranteed the energy non-increase. Furthermore, when boundedness can be proved in higher 
norms than then interpolation would lead to convergence in for higher s by standard parabolic 
theory. 

Remark 1.5 The case 

|S| = 47riV 

is degenerate (as becomes clear from reading the proof) and it is conceivable that exponential con- 
vergence may not occur, even if the initial energy is close to the minimum energy. 

Remark 1.6 The condition that the initial energy be close to the minimum energy can be relaxed 
in situations when there are no non-minimal critical points (JBi chapter 3]). The energy is strictly 
decreasing (as it is a gradient flow) and so it must decrease to the energy of a critical point. If non- 
minimal critical points do not exist then the energy must decrease to its minimum value, in which 
case it approaches the minimum energy, and then the conclusion of the theorem holds regarding 
exponential convergence. This is not discussed here further. 



2 Existence theorem 

There are different ways to obtain a global existence theorem for these equations, for example using 
maximum principles (as for the case of the same equations on in [4]) or energy methods as done 
here, using semi-group techniques explained in e.g. [12] and elsewhere. To use the energy norm 
method, we first reduce our system in Coulomb gauge to a system for (A, <I>) given in (11.110 : then 
we show that for data (A(0),$(0)) there is a unique global weak solution of those equations, 
also in H^, varying continuously in time. 



Theorem 2.1 (Existence in Coulomb gauge) Given initial data (A(0), <I>(0)) G H^{Q^ © L) 
(which implies finite initial energy V(A(0), <I>(0)) = Vq < oo), there exists a unique mild solution 
of (jl.lip with regularity (A,<I>) G C([0, oo); © L), which satisfies 

V((A,<I>)(t))<V((A,$)(0)) 

for all t > 0. For smooth initial data the solution is smooth, and for H^{U^ © L) initial data the 
solution is the limit in C;oc([0, oo); H^{Q,^ © L) of smooth solutions. 

Proof Writing U = (A, $) and CU = (A A, A$) the system (fTTTI) is of the form U = CU + FiU), 
which can be treated as an abstract evolution equation in the space X = H^{Q}'(BL). We introduce 
also the auxiliary space Y = H~^[Q^ © L), and make use of the following facts: 

• e*"^ is a strongly continuous semi- group of contractions on X for t > 0, 

• e*^ : y ^ X for t > 0, with ||e*-^||y_,x < Cr^/^ for < t < 1, 

• T : X ^ Y is a smooth function satisfying \\T{Ui) — J^{U2)\\y < K{R)\\Ui — U2\\x for 
\\Uj\\x<R- 

The first of these is a standard property of the heat equation. The second can be derived using the 
spectral representation introduced above: 

which implies that 

\\e'''f\\ls=Y,e-''^^{l + \,r\c,\''<Cs,rmffHr 

s 

with Cs,r{t) = sup^>Q — ~ ~ as t — )• 0. The third assertion follows by examining 

the various terms which constitute and applying appropriate embeddings for the spaces, in 
particular C and Ls c H^^ (continuous embeddings). For example, the current term 
(i<I>, V<I>) in the $ equation arises as a continuous bilinear map x L'^ ^ La c H^^ bounded by 
|(i<I>,V<I>)| 4 < c||<I>||^4 ||V<5||j;^2. The other terms in are treated similarly (using lemma [TTT] to 
handle the a terms). 

These three properties imply (see [121 §15.1] that the integral operator U — e^^^^''^J^(U{s))ds 
is a contraction on C([0,T];X) for sufficiently small T, and in fact T can be taken to be a 
positive non-increasing function of ||Z^(0)||x- This implies that there is a unique local solution 
U G C{[0,T]; X), and also that, given two sets of initial data Z^i (0) , (0) in X, the well-posedness 
estimate 

mayijUi{t)-U2{t)\\x < c\\Ui{0) - U2m\x 

holds for some c > 0, for T sufficiently small (again depending only on ||ZYj(0)||x-) From this it 
can be deduced that for initial data the solution remains in H^, and in fact for initial 
data the solution remains in H'^ for all s > 2. Thus the solutions can be approximated by 
regular solutions, and obey the energy non-increase : V((A, <I>)(t)) < V((A, <l>)(s)) for t > s. 



As a consequence the norm is globally bounded and there exists a unique global solution 
U G C([0,cx));X) of the corresponding integral equation 

U{t) = e'^U{0) + f e^'-'^'^F{U{s))ds 
Jo 

with the approximation property asserted. □ 

3 Asymptotic behaviour and proof of the main theorem 

We continue to use the Coulomb gauge in which Aq is eliminated as an independent variable by 
lemma [Tm We consider the cases |S| > iirN and |S| < AttN separately. In each case we introduce 
auxiliary variables which are specially tailored to reveal the asymptotic convergence of (A, to 
a limit {Aao,^oo) which is characterized differently depending on whether the surface area |S| is 
bigger or smaller than AttN. In the following proofs we shall make use of the norm 



= [ (|7?|2 + \Dj^rj\^) dfig (3.15) 
defined with respect to the time dependent connection = V — iA. 
3.1 Proof in the case |S| > inN 

It is useful to introduce the Bogomolny variables v = v{A, <I>) and ij = r]{A, defined as 

r] = Ba^ (3.16) 
v = B-^il-\^\') (3.17) 

where, as above, Ba = ^{Di + iD2). In terms of these variables the energy decomposes: 

V = ^JjA\rj\h-^P + v^)df,g + ttN, 

as was seen above in ()1.4p . The evolution of these variables is according to 

DqT] - 4:8 Aie'^^d All) + = -vr], 

d (3-18) 
(|-A + |cI>|> = -4H^ 

These equations can be obtained from (jl.6p by first applying the operator Ba to the equation for 
^, using the identities (in conformal co-ordinates) 

48aBa = Dl + Dl + e^PB , Aa = e-^f'iDl + DI) 

and 

9aAa - 4BA{e-''PdA)BA = -{BB) - BBa 



and 



[dA,DQ\='-{Ai+iA2)-idAo 

(where BAq = {BAq) + AqB) and finally using the equation for A in the last commutator. (To 
derive the final commutator use also that the background connection V is fixed independent of t, 
i.e., [|,V] = 0.) 

We will show (using lemma [3^ that 

(??, v) — > (0, 0) as t — )• oo 

(in specified spaces) and then deduce via lemma [3l4l the convergence of (A, as stated in the main 
theorem. For this consider two energy-type quadratic forms, respectively associated to each of the 
equations in 13.181 (at each time t > 0) defined as 

QaAv) = j^{4.e-^'\dAV\^ + e-^''\'^\^\v\^)di^g , (3.19) 
Q'fiv) = j (^e'^P{\Div\'^ + \D2v\'^) + \<l>\'^v^yfig. (3.20) 

Remark 3.1 It is shown in ^3] [lemma 3.2.2] that these quadratic forms are coercive in and 
respectively, provided that > m > 0.' to be precise, under this assumption on $, there 

exists 7 = 7(m, M) > (where recall that V < M < oo and M = ttN + 1), such that 

Qa, $(??)> 7||??||^^ and Q<i>('u) > 7||v||^i • (3.21) 

That the assumption on \\^\\l2 is a valid one can be shown as follows: by the Bogomolny decompo- 
sition of the functional V (II. 4p and the topological invariant (11. 3p . 



ISI 11$ 



27riV - — + 



|2 

Il2 



from which it follows that. 



2 2 



\q>\\\^ = |S| -AttN + 2 I V 



> |S| -47riV-2(2eo)^|S|^ ^^'^^^ 

> 

for eo sufficiently small. 

In terms of the quadratic forms Qa,^, the variables rj, v satisfy the following inequalities: 

Lemma 3.2 Let (A, <I>) be as in theorem \2.1\ and define {rj,v) as in p.l6p - (j3.17p . Then for any 
time T > 0, the following identities hold 

e''^UT)\\l,+2 f e^'\QAAv)-m\h)dt < ||77(0)||i. - 2 j"" J^e'''v\v\'e-'Pdi,gdt, 

(3.23) 

T 



e''^''\HT)\\l2+2 I e^^'{Q^{v)-6\\v\\l2)dt < \\v{0)\\l2 - 8 j l^e^^'v\ri\^e-^PdfXgdt. 



(3.24) 



Proof For smooth solutions multiply 13.181 respectively by t] and v and integrate with respect to 
e'^^^e~^Pdfigdt over [0, T] x S. For more general finite energy solutions use the approximation prop- 
erty in theorem 12.11 □ 



The above lemma implies the exponential decay of r], v under the conditions on $ for co-ercivity 
and for initial energy sufficiently close to its minimum. 

Corollary 3.3 (Exponential decay) For all 6 e (0, ^) and < eo with ^/2eo < g^, ifV{A, <!>)- 
ttN < eo, then 



oo 



snpe''\Ut)\\l + \\v{t)\\l) + 6 e''\Ml.+\\vfm)dt< 2(||r?(0)||i. + ||^(0)||i.) . (3.25) 
f>o Jo ^ 

Proof Recombining the terms in ()3.23p we have the following bounds 

[QaMv) - SMh) dt + 2^ 1^ e^''v\r,\''e-^Pdfigdt 

>2 [ e2^*(7-(5)||?7||^i dt - 2sup||7;||i2 [ e'^^^Ml^ dt 
Jo ^ t Jo 



2 / e2^* 



> / e^^\2j-26 - 4C,2sup||v||i2)||r/||^i dt 

Jo t A 



(3.26) 



as there exists Cg > such that \\r]\\n < Cs\\'r]\\f^i by the Sobolev inequality. (Covariant Sobolev 
spaces and extensions of standard inequalities in these were discussed in the appendix in j3]). By 
the energy non-increase, 



sup \\v\\l2 < V2(V - ttN) < \/2(Vo - vrA^) = (3.27) 

[0,T] 

and so for y/2eo < "^lyj^^ (which is implied by the assumption on eg), the final term on the right 
hand side of (|3.26p is bounded below as 

rT 

> 6 / e2^*||r/||^i dt. 
Jo ^ 

Hence from (j3.23p 

sup e'''Mt)\\l. + S f e''%\\l. dt< Uml^- (3.28) 

tGfO.Tl JO ^ 



Using this and (|3.27p (together with Holder's inequality and the same Sobolev imbedding as above) 
we can bound the final term on the right hand side of (j3.24p : 

8 /7 e'''v\rj\\-'^d^,gdt<8 r [ e'^'M,. C^Ml. dt < ^^^\m\\h < imWh 
Jo Jy, Jo Jt. Ad 

for ^/2e^ < Using this and in we have 



sc.? 

rT 



5 e^''\\v\\l,dt <2 e^''{Q^{v)-6\\v\\l,)dt < [WmWh + \Hmh) (3-29) 



which proves the corollary. □ 
In terms oi v = B — ^(1 — and r/ = Ba^ = ^{Di + iD2)^, the equations (11.60 read (in 

gauge invariant form): 

dAi dAo . dv 

dA2_dAo^ (3.30) 

We will now show that the equations p.30p together with the estimates p.25p and also (jl.lOp 
for Aq imply the convergence as t — )• oo in gf 1 1— ). (A, $)(t) at an exponential rate. 

Lemma 3.4 In terms ofr],v above, 

\\A\\L2 + \mL2<cm\HX + \Hm) (3-31) 

which together with the estimate (j3.25p completes the proof of the theorem in the case |S| > 4ttN . 

Proof Unless specified otherwise the generic constants c, c' depend only on S. 
Firstly, 

;i _ |$|2)2 = _ 2||$||^2 + ll^ll^^ > |s| - 2||^>||^4|S|5 + ll^ll^^ > i||$||^4 - 

(as ||$||22 < ||$||2^|S|3 < i||$||^4 + |S|). Therefore, 

V(A,$) > c(||L»A^|li2 + ll^lli*) -c' > c||$||^^-c' 

and using the energy non- increase (shown at the end of the proof of the existence theorem 12. ip this 
implies 

||$||i4 <c(Vo,S) (3.32) 

where Vq is the initial energy. 

The last equation in (j3.30p implies 

\\Donh < cdir/ii^^ + ib^iii^) 
< c{M\i,^ + \mUv\\%) 

<c(Vo,S)(||r7||^^ + ||H|^,) 



Therefore by (13:25]) . 



Do^Wlie'^^^ dt <oo (3.33) 



which implies the exponential decay of t i— )• Dq^. However, as seen in the previous section, the 
equation for <I> implies in the Coulomb gauge 



and then the Calderon-Zygmund inequahty, given the condition f Aodfig = 0, imphes 

\\Ao\\H2,r, < c{^,p)\\{i<^>,Do<^)\\LP. 

For p < 2, 

\\{i<P,Do<^)\\Lv <\m (3.34) 

<c(Vo,S)||L>o$||i2. (3.35) 

Therefore, together with (|1.10p 

Po|ll/2,p + lld^ollia < cpo^llia. (3.36) 

Therefore, 

/■OO 

/ (Pollia.p + \\dAo\\l2)e^^' dt < oo (3.37) 
Jo 

by ()3.33p . By the equation for $ in ()3.30p we also have 

II— $11^2 < po^>||i2+c(||??||^^ + ||?;||j^i) (3.38) 

< c(Vo, S) (Po^IIl^ + ll^ll^i + MhA (3.39) 



and so 



Similarly for A, we obtain 



I ^ ^||2 „2St 



l|A||i,.- 



(3.40) 



dt < oo . (3.41) 



These estimates immediately imply ()3.3ip by the equations (j3.30p and then by ()3.25p we conclude 
that 

^(A, <!>) = / on [0,oo)xS 

where / G and ||/||j;^2 (t)e^'^*(it < oo, and thus 

(Aoo, $oo) = limt^^{A{t), ^>(t)) 

exists in with exponential rate of convergence. 

From these estimates and the above we have that ^> G and so is in for all p < oo and 
as i — ^ oo, <I> <^oo strongly in L^, Da^ -Daoo^oo weakly in L^, hence ^Da^ — > ^I'oo-Daoo^oo 
weakly in L^; in addition, as <I> is bounded in L"? for any q < oo (from <I> G H^), the product 
^Da^ is bounded in L'' for every q < 2. This implies weak convergence in L'' for g < 2 so that 
div{i^, Da^) converges weakly in H~^''^; by Calderon-Zygmund then Aq converges to a limit Aqoo 
weakly in H^'*^ for each q < 2 and so strongly in every for p < oo. Clearly by (13.370 this limit 
is zero. 

This completes the proof of the theorem in the case |S| > 47rA^. □ 



3.2 Proof in the case |S| < iirN 

In this case a different approach is needed because the condition ||^||^2 ^ ^ > which held and 
was used in the previous section is no longer valid (as is obvious from the explicit form of the 
lower bound in ()3.22p ). Indeed, as first observed in [2j, in this case there are no solutions to the 
Bogomolny equations ()1.5p . To see this fact, integrate the equation v = over S to deduce 

2nN - ^ + = (3.42) 

which is an impossibility when 47rA^| > We will show instead that the minimizers of V have 
u = 1^ = constant and H'l'lli^a = 0, i.e. the field <I> is identically zero and Da = V — iA is a 
constant curvature connection on L. Notice that the value of the constant / is fixed as 

/ = 27riV - > 0, (3.43) 
since vd^g = / + |||'&||^2 by integration of (I3.17p . Now define d> ^hy d? = \T,\/ v'^dfig, then 
2^y w^d/Xg^ ^ |$]| 2 = d J w^d/Xp + -Li = 2 J vdfig + J [Vdv — —=)'^d^g 

= 2{i + ^\ml,) + \\{Vdv-^)\\l,. 

Referring to (jl.4p . this implies that the energy V can be written 

V(A, $) = 2\\dAnh + ^ [2(/ + ^Wnh) + U^v - + ^N. (3.44) 

From this it follows, since / > 0, that V > ttN + ^j^y that this lower bound is achieved 
with $ identically zero and B = = constant, so that v = = ^ = constant. Thus although 
the Bogomolny bound vrA^ is not itself achieved in the case 4:7rN > |S| we have identified the 
greatest lower bound and shown that it is achieved with the "pure magnetic" constant curvature 
connections: 

Lemma 3.5 For \T,\ < inN 

■ .r (47rA^-|S|)2 

mm V = vriV + , ' 

m{L®n^) 8\T,\ 

and this minimum value is achieved by taking the Higgs field ^ identically zero and D to be a 
constant curvature connection. 

To analyze the gradient flow in this case it is useful to introduce the variable y = v — I (in place 
of v), so that (|3.18p are replaced by 



Doll - AdAie-^PdAV) + {l + |$P)r? = -yrj, 

(^_A+|cI>|2)y = -|<I>|2/_4|^f 

Do<S> - Ae^'^PdAdA'^ + l<^ = 



|--A + |cI>|2)y = -|<I>|2/_4|,?|2, (3.45) 
ot 



Corresponding to (j3.23p we have the fohowing integral inequahties for solutions of (j3.45p 



y(r)||i,+2^ e''''[Q^iy)-5\\y\\l,)dt < ||y(0)||i. - 2 ^ ^ e^^d^l'/ + 4|r?|2)e-2^d/i,dt, 

2^^||<I>(r)||22 +2 j"^ e''^'(\\dAnl2 + {l-6)\ml2)dt < \m0)\\l,-2 j"" j e^^' y\^^ e-^P d^igdt. 

(3.46) 

Notice that since I > 0, there is a natural mechanism forcing $ to converge to zero at an 
exponential rate. However this fact necessitates modification of the arguments based on the lower 
bounds in lemma [321 which are dependent upon ||$||2,2 > m > 0. The presence of / > in the 
integrals in the first and third identities means that for 5 < | there exists 7 = 7(Vo, /) such that 

QAMv) + {l-m\\h>7h\\li^, and (3.47) 

WdAnh + (/ - S)\ml, > mli^- (3-48) 

For the middle identity, recall that ify = -^Jj.y then Poincare's inequality says that 

/ e-^P Yl \9ky\^dfig > Cp\\y - y\\l, > Cp{\\y\\l, - \\y\\l,), 

k 

SO that there exists 7' > such that 

But also I + y = 1^/2^ = ^+ 2|b| H^Hi^' ^° ^^sX y = 2l^ll'^lli2- Therefore, overall we have the 
following set of controlling inequalities: 

e^'^MT)\\l,+2 r e^^'^Ml^dt < ||r?(0)||i, - 2 T / e^M^pe-^Pd/i.dt, 



e 



' ^ Jo JT. 

2^^"y(r)||i.+2^%2^*((7'-<5)||y||^.-yily|li.)dt < Il2/(0)||? 

-2 r / e%(|$p/ + 4|7?|2)e-2^d/i3dt, 

Jo JT. 

rp rp 

^T)\\l, + 2 [ e^^'^m^dt <\M0)\\l,-2[ [ e^^'y\<^\^e-^fdfigdt 
Jo ^ Jo Jt, 

Add the three inequalities, and use the fact that ||y||^2 = 1^1 |yP = ^y||^||^2 to absorb the negative 
term in the integral in the second inequality by the integral in the third one. Next bound the 
nonlinear terms on the right hand sides in the same way as in (j3.26p - (|3.25|) . and conclude that as 
long as 112/(0)11^2 is initially small then 



lL2 

cT 



e^'^MT)\\l, < \m\\h, 

e''''UT)\\h < wvmh, 
e^'^mmi, < wmwh, 



holds for all T > 0, and 



/ 

Jo 



oo 




y\\m + \\nli^ + \\v\\li^ 



dt < oo 



(3.49) 



from which convergence can be deduced as in the previous section: (j3.33p and (j3.37p hold as a 
consequence of (j3.49p . and hence by the first two equations of (j3.30p the estimate (j3.4ip also holds, 
and so A(t) converges to a limit A^o at an exponential rate. The proof of the main theorem is now 



References 

[1] E. Bogomolny, Stability of Classical Solutions, Soviet Journal of Nulclear Physics 24 861-870 (1976). 

[2] S. Bradlow, Vortices in holomorphic line bundles and closed Kaehler manifolds, Commun. Math. Phys. 
118 1-17 (1990). 

[3] S. Demoulini and D. Stuart, Adiabatic Limit and the Slow Motion of Vortices in a Chern-Simons- 
Schroedinger System, Commun. Math. Phys. 290, 597-632 (2009). 

[4] S. Demoulini and D. Stuart, Gradient flow of the superconducting Ginzburg-Landau functional on the 
plane, Commun. Anal. Ceom. 5(1) 121 - 198 (1997). 

[5] S. Demoulini, Global existence for a nonlinear Schrodinger-Chern-Simons system on a surface, Ann. 
Inst. H. Poincare Anal. Non Lineaire 24(2) 207-225 (2007). 

[6] E. Feireisl and P. Takac, Long-time stabilization of solutions to the Ginzburg-Landau equations of 
superconductivity Monatsh. Math. 133, 3 197-221 (2001). 

[7] A. Hassell The Yang-Mills-Higgs heat flow on J. Funct. Anal. Ill (2) 431-448 (1993). 

[8] A. JafFe and C. Taubes, Vortices and Monopoles, Birkhauser, Boston, 1982. 

[9] J. Jost, Riemannian geometry and geometric analysis, Springer- Verlag 1988. 

[10] M. Noguchi, Yang-Mills-Higgs theory on a compact Riemann surface J. Math. Phys. 28, 2343 (1987). 

[11] L. Simon Asymptotics for a class of nonlinear evolution equations, with applications to geometric 
problems Ann. of Math. 118 (3) 525-571 (1983). 

[12] M. Taylor, Partial Differential Equations I-III, Applied Mathematical Sciences, vol 117, Springer- Verlag 



complete. 



□ 



1996.